/**
 * Copyright (C) 2015-2017 Alibaba Group Holding Limited
 */

#ifndef _RNG_H_
#define _RNG_H_

#define TEE_RANDOM_TEST (0x0)

#define RANDOM_SRV_UUID                                    \
    {                                                      \
        0x7465655f, 0x6861, 0x7368,                        \
        {                                                  \
            0x5f, 0x61, 0x70, 0x69, 0x5f, 0x74, 0x63, 0x87 \
        }                                                  \
    }

#endif /* _RNG_H_ */
